$\forall$${\it e'}$$\geq$$e$.$P$(${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$${\it e'}$:es{-}E(${\it es}$). es{-}le(${\it es}$; $e$; ${\it e'}$) $\Rightarrow$ $P$(${\it e'}$)